On fibrations of enriched groupoids as categorical semantics for identity types in homotopy type theory:
Created on June 1, 2023 at 06:16:37. See the history of this page for a list of all contributions to it.